Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
911	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2011-05-19 14:13:26 Operations research NP-complete problems Algorithm Mathematical logic Graph partition Graph Linear programming Approximation algorithm Vertex Graph theory Theoretical computer science Mathematics
912	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-22 10:08:52 Modal logic Philosophical logic Metalogic Formal languages Linear temporal logic Interpretation First-order logic Temporal logic Kripke semantics Logic Mathematical logic Model theory
913	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:05 Algebraic structures Semigroup Semilattice Lattice Kripke semantics Linear logic Interpretation Monoid Modal logic Mathematics Abstract algebra Logic
914	PDF Document Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2007-06-19 07:36:16 Proof theory Philosophical logic Metalogic Noncommutative logic Linear logic Entailment Natural deduction Jean-Yves Girard Proof net Logic Substructural logic Deduction
915	PDF Document Add to Reading List Source URL: dingo.sbs.arizona.edu Language: English - Date: 2006-02-27 18:05:32 Mathematics Chomsky hierarchy Formal grammar Regular language Context-free grammar Context-sensitive grammar Automata theory Deterministic finite automaton Linear grammar Formal languages Theoretical computer science Logic
916	PDF Document Add to Reading List Source URL: dao.mit.edu Language: English - Date: 2002-01-08 00:00:00 Particle physics Statistical mechanics Symmetry Topological order Parity T-symmetry Degenerate energy levels Linear temporal logic Wightman axioms Physics Quantum field theory Quantum mechanics
917	PDF Document Add to Reading List Source URL: wwwmayr.in.tum.de Language: English - Date: 2002-08-20 18:19:43 Logic Symbol Constructible universe Structure Interpretation Primitive recursive function Linear temporal logic Darboux frame Model theory Mathematical logic Mathematics
918	PDF Document Add to Reading List Source URL: www.mathcs.emory.edu Language: English - Date: 2009-04-29 11:55:46 Representation theory Tensor product Structure Functor Linear temporal logic B-admissible representation Abstract algebra Algebra Mathematics
919	PDF Document Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2011-12-09 04:14:38 Digital typography Mathematics Symbol Linear temporal logic Category theory Cone Character encoding
920	PDF Document Add to Reading List Source URL: www.cs.qub.ac.uk Language: English - Date: 2007-07-20 11:45:04 Automata theory Mathematics Probability theory Linear temporal logic Ω-automaton Ordinal number Constructible universe Connection

UPDATE